[數] 應用數理邏輯 mathematical logic: 純邏輯學; 符號邏輯; 數理邏輯; 數學邏輯; 數字邏輯applied logic: 應用邏輯formula (mathematical logic): 公式 (數理邏輯)fundations of mathematical logic: 數理邏輯基礎literal (mathematical logic): 文字 (數理邏輯)下載手機詞典可隨時隨地查詞查翻譯